$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$nil$,\,$$\lambda$$x$.$\cdot$$\rangle$